Jordan Decomposition in Lattices and Quasi Unipotence
نویسندگان
چکیده
منابع مشابه
Jordan Matrix Decomposition
We follow the rules: i, j, m, n, k denote natural numbers, K denotes a field, and a, λ denote elements of K. Let us consider K, λ, n. The Jordan block of λ and n yields a matrix over K and is defined by the conditions (Def. 1). (Def. 1)(i) len (the Jordan block of λ and n) = n, (ii) width (the Jordan block of λ and n) = n, and (iii) for all i, j such that 〈i, j〉 ∈ the indices of the Jordan bloc...
متن کاملFinite Lattices and Jordan-holder Sets 1)
In this paper we extend some aspects of the theory of 'supersolvable lattices' [3] to a more general class of finite lattices which includes the upper-semimodular lattices. In particular, all conjectures made in [33 concerning upper-semimodular lattices will be proved. For instance, we will prove that if L is finite upper-semimodular and if L' denotes L with any set of 'levels' removed, then th...
متن کاملSubtyping Constraints in Quasi-lattices
In this report, we show the decidability and NP-completeness of the satisfiability problem for non-structural subtyping constraints in quasi-lattices. This problem, first introduced by Smolka in 1989, is important for the typing of logic and functional languages. The decidability result is obtained by generalizing Trifonov and Smith’s algorithm over lattices, to the case of quasi-lattices. Simi...
متن کاملQuasi-Modal Lattices
We introduce the class of bounded distributive lattices with two operators, and ∇, the first between the lattice and the set of its ideals, and the second between the lattice and the set of its filters. The results presented can be understood as a generalization of the results obtained by S. Celani.
متن کاملQuasi-Primary Decomposition in Modules Over Proufer Domains
In this paper we investigate decompositions of submodules in modules over a Proufer domain into intersections of quasi-primary and classical quasi-primary submodules. In particular, existence and uniqueness of quasi-primary decompositions in modules over a Proufer domain of finite character are proved. Proufer domain; primary submodule; quasi-primary submodule; classical quasi-primary; decompo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pure and Applied Mathematics Quarterly
سال: 2008
ISSN: 1558-8599,1558-8602
DOI: 10.4310/pamq.2008.v4.n1.a7